| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmics | Fach-/Modulprüfung | 6 | 566267 | ||
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 567781 | ||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 567439 | Do 30.07.2026 09:00-10:30 Grüner Hörsaal AM (Gr) (1420|001) Roter Hörsaal AM (Ro) (1420|002) Do 03.09.2026 09:00-10:30 H09 (1385|220) | |
| Vorlesung | 574215 | Mo 14:30-16:00 5056 (2356|056) (×4) Mo 14:30-16:00 AH V (2356|050) (×9) Mi 12:30-14:00 5055 (2356|055) (×3) Mi 12:30-14:00 AH V (2356|050) (×10) Mi 12:30-14:00 Großer B-IT Raum (2356|053.2) (×1) | |||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 9 | 564770 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 564732 | ||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 565748 | Fr 07.08.2026 09:00-11:00 AH V (2356|050) Di 22.09.2026 09:00-11:00 AH VI (2356|051) | |
| Übung | 563290 | Mo 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×4) Fr 12:30-14:00 5056 (2356|056) (×7) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Vorlesung | 562418 | Mo 10:30-12:00 5056 (2356|056) (×13) Do 10:30-12:00 5056 (2356|056) (×8) | |||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 567910 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 564981 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 565987 | Do 20.08.2026 12:00-13:30 Sparkassenforum (nur ePruefungen) (1040|U234) ZuseLab C3 (2315|211) Di 15.09.2026 09:00-10:30 P1 (3210|108) P4 (3210|142) | |
| Übung | 562508 | Fr 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) | |||
| Vorlesung | 562555 | Di 14:30-16:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) Do 12:30-14:00 TEMP2 (1515|002) (×12) | |||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 567419 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 565426 | Di 11.08.2026 09:00-11:00 H05 (1385|105) Di 15.09.2026 09:00-11:00 H06 (1385|004) | |
| Übung | 560302 | Fr 14:30-16:00 5056 (2356|056) (×9) Fr 14:30-16:00 t.b.d. (×2) | |||
| Vorlesung | 561324 | Mi 14:30-16:00 5056 (2356|056) (×12) Do 12:30-14:00 5056 (2356|056) (×11) | |||
| Near-term Quantum Computation | Fach-/Modulprüfung | 6 | 566168 | Do 20.08.2026 09:00-15:00 MBP2 015 (4273|015) | |
| Übung | 562681 | Fr 10:30-12:00 Eph (1090|321) (×12) Fr 10:30-12:00 R 5 (1080|005) (×1) | |||
| Vorlesung | 564111 | Do 16:30-18:00 Eph (1090|321) (×12) | |||
| Online Algorithms | Fach-/Modulprüfung | 6 | 564842 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 564864 | ||
| Quantum Computing | Fach-/Modulprüfung | 4 | 564984 | ||
| Recursion Theory | Fach-/Modulprüfung | 6 | 565302 | ||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 567356 | ||
| Static Program Analysis | Fach-/Modulprüfung | 6 | 564677 | Mo 03.08.2026 09:00-11:00 H06 (1385|004) Do 03.09.2026 09:00-11:00 HKW 2 (1132|303) | |
| Übung | 575559 | Mi 16:30-18:00 AH II (2350|111) (×8) | |||
| Vorlesung | 575560 | Di 14:30-16:00 AH III (2350|314.1) (×11) Do 14:30-16:00 AH I (2350|028) (×9) | |||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 566091 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 567341 |